sorted($L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$i$:\{0..$\parallel$$L$$\parallel^{-}$\}, $j$:\{0..$i$$^{-}$\}. $L$[$j$]$\leq$$L$[$i$]